π Pi Calculus - abnv · Scour

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·1d

📏Linear Scanning

Calculus Made Easy

calculusmadeeasy.org·14h

🏗️Calculus of Constructions

Real-Time Data Stream Processing in Go: Backpressure, Windowing, and Fault Tolerance Explained

dev.to·16h·

Discuss: DEV

📡Async Channels

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·17h

🛡️Taint Analysis

Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself

kenkoonwong.com·10h·

Discuss: Hacker News

🔀SIMD Programming

GNU C Language Manual

gnu.org·10h

🪄C Metaprogramming

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

🪆Embedded DSLs

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Reduction for Structured Concurrent Programs

arxiv.org·1d

🔀Concurrency Models

Simulating Pots with LTSpice

hackaday.com·2h

⚡Partial Evaluation

The Algebra of Speed: Mathematical Foundations of Computational Performance

ttsugriy.github.io·3d·

Discuss: Hacker News

🧠Memory Hierarchy

On the way to step functions: the two worlds

blog.julik.nl·2d

🔄CPS Transforms

ES6 Generators Deliver Go Style Concurrency

swannodette.github.io·1d

⚙️Async State Machines

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🔧Scheme Macros

Binary Algorithms

exystence.net·1d

📡Binary Protocols

SHADOW: Simultaneous Multi-Threading Architecture with Asymmetric Threads

danglingpointers.substack.com·1d·

Discuss: Substack

🤝Cooperative Threading

prompt abiogenesis ;-)

lnebres.bearblog.dev·5h

From logical reasoning to code in C and PHP

dev.to·18h·

Discuss: DEV

Loading more...